Communicating sequential processes - PDFSEARCH.IO - Document Search Engine

Communicating sequential processes
Results: 71

#	Item
11	hiJaC Contracts in a State-rich Timed Process Algebra Kun Wei, Jim Woodcock and Ana Cavalcanti Department of Computer Science University of York Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-02-26 07:24:06 Boolean algebra Mathematical logic Communicating sequential processes Process calculus Circus Process calculi
12	Concurrency, Robotics, and RoboDeb Christian L. Jacobsen and Matthew C. Jadud University of Kent Canterbury, Kent CT2 7NF UK Add to Reading List Source URL: www.transterpreter.org Language: English - Date: 2010-10-21 16:45:43 University of Kent Procedural programming languages Occam Process calculi Transterpreter Communicating sequential processes Transputer Lego Mindstorms SR Computing Concurrent computing Computer programming
13	ClawZ: Control laws in Z R. Arthan Lemma 1 Ltd, UK [removed] Abstract Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:32:29 Software Visual programming languages Cross-platform software Mathematical modeling Numerical software Simulink SIGNAL Communicating sequential processes Control theory Computing Software engineering Simulation software
14	Programming Erlang, Second Edition Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-10-08 20:01:55 Ericsson Erlang Programming paradigms Concurrent computing Process calculi Communicating sequential processes Object-oriented programming Init Parallel computing Computing Computer programming Software engineering
15	Introduction to Concurrent Programming Rob Pike Computing Sciences Research Center Bell Labs Lucent Technologies Add to Reading List Source URL: www.herpolhode.com Language: English - Date: 2003-04-13 02:52:28 Concurrency control Process Newsqueak Go Channel Communicating sequential processes Process management Parallel computing Semaphore Computing Computer programming Concurrent computing
16	SIGPLAN Conference Proceedings template Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-10-07 03:17:07 Aerospace engineering Spacecraft design Communicating sequential processes Modeling language Generic Modeling Environment Formal methods System Software development methodology NEAR Shoemaker Spaceflight Spacecraft Systems engineering
17	Two Paradigms of Composition Ashley McNeile Metamaxim Ltd. 48 Brunswick Gardens London, U.K. Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2011-08-31 13:43:14 Process calculi Actor model Communicating sequential processes Process calculus Synchronous programming language Communications protocol Consensus Message passing Asynchrony Computing Concurrent computing Concurrency
18	Towards Concrete Concurrency: occam-pi on the LEGO Mindstorms Christian L. Jacobsen Matthew C. Jadud Add to Reading List Source URL: www.transterpreter.org Language: English - Date: 2010-10-21 16:45:43 University of Kent Robot kits Lego Mindstorms Concurrent computing Educational toys Occam Transterpreter Communicating sequential processes Transputer Computing Software engineering Computer programming
19	Patterns for Programming in Parallel, Pedagogically Matthew C. Jadud Jon Simpson Christian L. Jacobsen Add to Reading List Source URL: www.transterpreter.org Language: English - Date: 2010-10-21 16:45:43 Concurrent computing University of Kent Procedural programming languages Robot kits Educational toys Lego Mindstorms Occam Communicating sequential processes Transterpreter Computing Computer programming Software engineering
20	Concurrency on and off the sensor network node Matthew C. Jadud, Christian L. Jacobsen, Damian J. Dimmich 1. INTRODUCTION Add to Reading List Source URL: www.transterpreter.org Language: English - Date: 2010-10-21 16:45:43 University of Kent Procedural programming languages Process calculi TinyOS Occam Transputer Transterpreter Communicating sequential processes Wireless sensor network Computing Concurrent computing Software engineering